Formal methods and software engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
- Författare
- Huaikou Miao Chris George International Conference on Formal Engineering Methods 2002 : Shanghai)
- (Chris George, Huaikou Miao (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2003 | Tyskland, Berlin | 626 sidor. ill. |